Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network
نویسندگان
چکیده
1 Centre for Systems Biology at Edinburgh, The University of Edinburgh, Edinburgh EH9 3JU, Scotland, UK 2 The Microsoft Research University of Trento Centre for Computational and Systems Biology, Trento, Italy 3 Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh EH8 9AB, Scotland, UK 4 Department of Computing Science, The University of Glasgow, Glasgow G12 8QQ, Scotland, UK
منابع مشابه
Unwinding biological systems
Unwinding conditions have been fruitfully exploited in Information Flow Security to define persistent security properties. In this paper we investigate on their meaning and possible uses in the analysis of biological systems. In particular, we elaborate on the notion of robustness and propose some instances of unwinding over the process algebra Bio-PEPA and over hybrid automata. We exploit such...
متن کاملMechanism of the Neurospora Circadian Clock, a FREQUENCY-centric View
Circadian clocks are self-sustaining timekeepers found in almost all organisms on earth. The filamentous fungus Neurospora crassa is a preeminent model for eukaryotic circadian clocks. Investigations of the Neurospora circadian clock system have led to elucidation of circadian clock regulatory mechanisms that are common to all eukaryotes. In this work, we will focus on the Neurospora circadian ...
متن کاملSynchronizing stochastic circadian oscillators in single cells of Neurospora crassa
The synchronization of stochastic coupled oscillators is a central problem in physics and an emerging problem in biology, particularly in the context of circadian rhythms. Most measurements on the biological clock are made at the macroscopic level of millions of cells. Here measurements are made on the oscillators in single cells of the model fungal system, Neurospora crassa, with droplet micro...
متن کاملTranscriptional Regulation of Circadian Clocks
The first chapter of this book has introduced the historical background of the circadian clock, as well as its anatomical organization. It has described how researchers over the past several decades have grappled with the problem of biological timekeeping: how a constantly-changing organism can measure time, and in particular solar time, accurately in a changing environment? In the case of simp...
متن کاملIsoform switching facilitates period control in the Neurospora crassa circadian clock
A striking and defining feature of circadian clocks is the small variation in period over a physiological range of temperatures. This is referred to as temperature compensation, although recent work has suggested that the variation observed is a specific, adaptive control of period. Moreover, given that many biological rate constants have a Q(10) of around 2, it is remarkable that such clocks r...
متن کامل